2

A Formal Verification Framework for Security Issues of Blockchain Smart Contracts

Year:
2020
Language:
english
File:
PDF, 2.83 MB
english, 2020
19

Multi-scale heat transfer in fluidized bed reactors by Eulerian CFD modeling

Year:
2015
Language:
english
File:
PDF, 1.35 MB
english, 2015
32

Market demand dynamic induced mechanism in China's steel industry

Year:
2017
Language:
english
File:
PDF, 868 KB
english, 2017
43

Improvement of Expansive Soil Properties Using Sawdust

Year:
2018
Language:
english
File:
PDF, 744 KB
english, 2018